Embed Scripting inside SystemC
نویسندگان
چکیده
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as SystemC, are more and more used. We present in this paper a new methodology allowing scripting inside SystemC. We integrate both SystemC and Python within a single framework for system designs and simulations called SystemPy. Communication is performed using a Simple Wrapper and an Interface Generator(SWIG). SystemPy allows dynamic IP changes during the simulation. This makes designers able to perform a quick architecture exploration without stopping the simulation process. Steps and performances of our framework are illustrated on mixed SystemC Python system.
منابع مشابه
Improving System-Level Verification of SystemC Models with SPIN
SystemC is a de-facto industry standard for developing, modelling, and simulating embedded systems. As embedded systems become more and more integrated into many aspects of human lives (e.g., transportation, surveillance systems, . . . ), failures of embedded systems might cause dangerous hazards to individuals or groups. Guaranteeing safety of such systems makes formal verification crucial. In...
متن کاملModel Checking Memory-Related Properties of Hardware/Software Co-designs
Memory safety plays a crucial role in concurrent hardware/software systems and must be guaranteed under all circumstances. Although there exist some approaches for complete verification that can cope with both hardware and software and their interplay, none of them supports pointers or memory. To overcome this problem, we present a novel approach for model checking memory-related properties of ...
متن کاملFrom Model-based Design to Virtual Prototypes for Automotive Applications
In this paper, we present a new design methodology for automotive applications, combining the strength of model-based design using MATLAB/Simulink and virtual prototyping using SystemC. The design flow starts from an automotive application modeled in MATLAB/Simulink. By including a vehicle model, testing and debugging of the desired application is possible. In a first step, the application mode...
متن کاملAutomated Extraction of Multi-Threaded Graph Models for Formal Verification of System Level Models
System level models are abstractions of hardware systems which should make it easier to apply capacity limited formal verification tools to validate them. However, due to the sequential nature of languages such as SystemC [1], extensive use of co-routine style threading for expressing concurrency, and oft-used mixed abstraction styles, make it hard to create abstractions suitable for formal ver...
متن کاملScripting For Java
Tcl has been initially developed as an embeddable command language to provide what we now call ”scripting” to complex applications. The ”scripting” or ”high level language” approach to provide control to applications from command lines, configurations files or ”macros” has been very successful and a major winning case for Tcl. In the last six years, Java appeared as a programming language and r...
متن کامل